Notes from AusNOG 2025
blog.apnic.net·16h
🕸️Mesh Networking
Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·1d·
Discuss: Hacker News
📐Document Calculus
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·8h
🔗Topological Sorting
Securing and Scaling AI-Powered APIs
capestart.com·3h·
Discuss: Hacker News
🌊Streaming Systems
Optimized Modbus RTU Data Validation via Hybrid Markov & Bayesian Filtering
dev.to·7h·
Discuss: DEV
🔧Hardware Verification
A New Method for Estimating P2P Network Size
eli.sohl.com·3d·
Discuss: Hacker News
📊Count-Min Sketch
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·1h·
🔗Lisp
Check Point Named a Leader in the 2025 IDC MarketScape Report for Worldwide Enterprise Hybrid Firewalls.
blog.checkpoint.com·2h
👁️Observatory Systems
What is Algebraic about Algebraic Effects?
interjectedfuture.com·54m
Algebraic Effects
Engineers Bring Quantum Internet to Commercial Fiber for the First Time
scitechdaily.com·13h
⚛️Quantum Codecs
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·19h·
🧮Z3 Solver
Poor TrueNAS performance / proxmox
i.redd.it·5h·
Discuss: r/homelab
💿Proxmox HA
Folks, we have the best π
lcamtuf.substack.com·10h·
Discuss: Substack
📐Mathematical Art
Microservices vs Monolith: A Complete Architecture Guide for Modern Software Development
blog.devops.dev·2h
🖥️Self-hosted Infrastructure
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·12h
🎯Performance Proofs
The hidden barrier to AI transformation: connectivity
techradar.com·2h
🕸️Mesh Networks
built fasterpc bc i was frustrated with the usual distributed service comms, no more rest apis, or heavy MQs
github.com·19h
gRPC
15 Best Practices for Building MCP Servers in Production
thenewstack.io·57m
🌐NetworkProtocols
Google Summer of Code 2025 Reports: Enhancing Support for NAT64 Protocol Translation in NetBSD
blog.netbsd.org·39m
📝ABNF Parsing